direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Is it a "Good" Encoding of Mixed Choice? (Technical Report)
Zitatschlüssel journals/corr/abs-1201-1410
Autor Peters, Kirstin and Nestmann, Uwe
Jahr 2012
Journal CoRR
Jahrgang abs/1201.1410
Monat 1
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe